pico_simple_hardware_target(sha256)
